141. 16, 2010. Proceedings-Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15
Author: / Claude Gaudel (auth.), Shengchao Qin (eds.)-Ana Cavalcanti, Marie
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
142. 25, 2011. Proceedings-Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23
Author: / David L. Dill (auth.), Ranjit Jhala, David Schmidt (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
143. 24, 2012. Proceedings-Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22
Author: / Ahmed Bouajjani, Cezara Drgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
144. 23, 2010. Proceedings-bec City, Canada, June 21شMathematics of Program Construction: 10th International Conference, MPC 2010, Qu
Author: / chir Ktari (eds.)فo F. Ferreira (auth.), Claude Bolduc, Jules Desharnais, BعRoland Backhouse, Wei Chen, Jo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
145. 30, 2011. Proceedings-bidos, Portugal, September 28بModel and Data Engineering: First International Conference, MEDI 2011,
Author: / Timos Sellis (auth.), Ladjel Bellatreche, Filipe Mota Pinto (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
146. 18, 2011. Proceedings-n, Chile, November 15Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 16th Iberoamerican Congress, CIARP 2011, Puc
Author: / Woon Kim (eds.)-sar San Martin, SangفRobert P. W. Duin, Elbieta Pkalska (auth.), C
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
147. Program Management in Defense and High Tech Environments
Author: / McCarthy, Charles Christopher
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
148. Programmieren in C
Author: / Robert Klima, Siegfried Selberherr
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
149. Programmierung-Webseiten
Author: / nter PomaskaGی
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
150. Programming Languages: Principles and Paradigms
Author: / Maurizio Gabbrielli, Simone Martini
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
151. Project Management Case Studies and Lessons Learned: Stakeholder, Scope, Knowledge, Schedule, Resource and Team Management
Author: / Atesmen, M. Kemal
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
152. Project Scope Management: A Practical Guide to Requirements for Engineering, Product, Construction, IT and Enterprise Projects
Author: / Jamal Moustafaev
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
153. Python 2.6 Graphics Cookbook
Author: / de Fine, Mike Ohlson
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
154. REST: From Research to Practice
Author: / Erik Wilde, Cesare Pautasso
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
155. Requirements Engineering and Management for Software Development Projects
Author: / Murali Chemuturi
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
156. Return On Process (ROP): Getting Real Performance Results from Process Improvement
Author: / West, Michael
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
157. 7, 2007, Revised Lectures-Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3
Author: / cia Machado, Auri Vincenzi (auth.), Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook (eds.)کPatr
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
158. 11, 2009. Revised Papers-Generative and Transformational Techniques in Software Engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6
Author: / o Saraiva (eds.)عmmel, Joost Visser, Joعo M. Fernandes, Ralf LعPaulo Borba (auth.), Jo
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
159. 8, 2009. Revised Papers-Scale Scientific Computing: 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-Large
Author: / J. Adler, T. Manteuffel, S. McCormick, J. Nolting, J. Ruge, L. Tang (auth.), Ivan Lirkov, Svetozar Margenov, Jerzy Waniewski (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
160. 25, 2010, Revised Selected Papers-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-Logic
Author: / a Alpuente (eds.)کOlivier Danvy, Ian Zerny (auth.), Mar
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
